Qué (quién) es HOL-88 - definición
WIKIMEDIA DISAMBIGUATION PAGE
HoL; HOL (disambiguation); Hol (disambiguation)
AD 88
YEAR
88 AD; LXXXVIII; 88 (year); Year 88; 88 CE; Events in 88; Births in 88; Deaths in 88
AD 88 (LXXXVIII) was a leap year starting on Tuesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Augustus and Rufus (or, less frequently, year 841 Ab urbe condita).
HOL
![Photo of [[Terje Isungset]] taken by [[Knut Bry]] 2015](https://commons.wikimedia.org/wiki/Special:FilePath/P9140112-Exposure lag kvalitet.jpg?width=200 "Photo of [[Terje Isungset]] taken by [[Knut Bry]] 2015")
MUNICIPALITY IN VIKEN, NORWAY
Old Hol Church; Hol (village); Hol Municipality
Higher Order Logic. A proof-generating system for {higher
order logic} based on LCF. Implementations include HOL-88
and HOL-90.
hol">ftp://ted.cs.uidaho.edu/pub/hol. Mailing list:
info-hol@ted.cs.uidaho.edu.
["HOL: A Machine Oriented Formulation of Higher Order Logic",
M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985) ].
["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press
1993 ISBN 0-521-441897 ].
